ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Inferring FSM models of systems without reset (2019)
Groz, Roland ; Simão, Adenilso da Silva ; Petrenko, Alexandre ; Oriat, Catherine
Source: Lecture Notes in Computer Science. Conference titles: International Dagstuhl Seminar 16172. Unidade: ICMC
Subjects: ALGORITMOS ÚTEIS E ESPECÍFICOS, ENGENHARIA DE SOFTWARE, MÉTODOS DE ENSINO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. Inferring FSM models of systems without reset. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-96562-8_7. Acesso em: 03 maio 2024. , 2019
APA
Groz, R., Simão, A. da S., Petrenko, A., & Oriat, C. (2019). Inferring FSM models of systems without reset. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-96562-8_7
NLM
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring FSM models of systems without reset [Internet]. Lecture Notes in Computer Science. 2019 ; 11026 178-201.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-96562-8_7
Vancouver
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring FSM models of systems without reset [Internet]. Lecture Notes in Computer Science. 2019 ; 11026 178-201.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-96562-8_7
Trabalho de evento-anais periodico
Generating checking sequences for user defined fault models (2017)
Petrenko, Alexandre; Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_20. Acesso em: 03 maio 2024. , 2017
APA
Petrenko, A., & Simão, A. da S. (2017). Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_20
NLM
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Vancouver
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Artigo de periodico
Generalizing the DS-Methods for testing non-deterministic FSMs (2015)
Petrenko, Alexandre; Simão, Adenilso da Silva
Source: The Computer Journal: Section A: Computer Science Theory, Methods and Tools. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generalizing the DS-Methods for testing non-deterministic FSMs. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, v. 58, n. 7, p. 1656-1672, 2015Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxu113. Acesso em: 03 maio 2024.
APA
Petrenko, A., & Simão, A. da S. (2015). Generalizing the DS-Methods for testing non-deterministic FSMs. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, 58( 7), 1656-1672. doi:10.1093/comjnl/bxu113
NLM
Petrenko A, Simão A da S. Generalizing the DS-Methods for testing non-deterministic FSMs [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2015 ; 58( 7): 1656-1672.[citado 2024 maio 03 ] Available from: https://doi.org/10.1093/comjnl/bxu113
Vancouver
Petrenko A, Simão A da S. Generalizing the DS-Methods for testing non-deterministic FSMs [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2015 ; 58( 7): 1656-1672.[citado 2024 maio 03 ] Available from: https://doi.org/10.1093/comjnl/bxu113
Trabalho de evento-anais periodico
Inferring finite state machines without reset using state identification sequences (2015)
Groz, Roland; Simão, Adenilso da Silva; Petrenko, Alexandre; Oriat, Catherine
Source: Lecture Notes in Computer Science. Conference titles: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_10. Acesso em: 03 maio 2024. , 2015
APA
Groz, R., Simão, A. da S., Petrenko, A., & Oriat, C. (2015). Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_10
NLM
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10
Vancouver
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10
Trabalho de evento-anais periodico
Checking experiments for finite state machines with symbolic inputs (2015)
Petrenko, Alexandre; Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science. Conference titles: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_1. Acesso em: 03 maio 2024. , 2015
APA
Petrenko, A., & Simão, A. da S. (2015). Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_1
NLM
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1
Vancouver
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1
Patente
Test method and test apparatus for testing a distributed system (2014)
Petrenko, Alexandre; Simão, Adenilso da Silva; Ulrich, Andreas
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e ULRICH, Andreas. Test method and test apparatus for testing a distributed system. . Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). Disponível em: https://doi.org/10.1007/s00165-015-0350-2. Acesso em: 03 maio 2024. , 2014
APA
Petrenko, A., Simão, A. da S., & Ulrich, A. (2014). Test method and test apparatus for testing a distributed system. Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). doi:10.1007/s00165-015-0350-2
NLM
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Vancouver
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Trabalho de evento
Generating complete and finite test suite for ioco: is it possible? (2014)
Simão, Adenilso Da Silva; Petrenko, Alexandre
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Model-Based Testing. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso Da Silva e PETRENKO, Alexandre. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 03 maio 2024.
APA
Simão, A. D. S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141
NLM
Simão ADS, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.4204/EPTCS.141
Vancouver
Simão ADS, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.4204/EPTCS.141
Trabalho de evento
Generating checking sequences for nondeterministic finite state machines (2012)
Petrenko, Alexandre; Simão, Adenilso da Silva; Nina Yevtushenko
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e NINA YEVTUSHENKO,. Generating checking sequences for nondeterministic finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.111. Acesso em: 03 maio 2024.
APA
Petrenko, A., Simão, A. da S., & Nina Yevtushenko,. (2012). Generating checking sequences for nondeterministic finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.111
NLM
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1109/ICST.2012.111
Vancouver
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1109/ICST.2012.111
Artigo de periodico
Model-based testing of software and systems: recent advances and challenges (2012)
Petrenko, Alexandre; Simão, Adenilso da Silva; Maldonado, José Carlos
Source: International Journal on Software Tools for Technology Transfer (STTT). Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), v. 14, n. 4, p. 383-386, 2012Tradução . . Disponível em: https://doi.org/10.1007/s10009-012-0240-3. Acesso em: 03 maio 2024.
APA
Petrenko, A., Simão, A. da S., & Maldonado, J. C. (2012). Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), 14( 4), 383-386. doi:10.1007/s10009-012-0240-3
NLM
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/s10009-012-0240-3
Vancouver
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/s10009-012-0240-3
Artigo de periodico
On reducing test length for FSMs with extra states (2012)
Simão, Adenilso da Silva; Petrenko, Alexandre; Nina Yevtushenko
Source: Software testing, verification and reliability. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e NINA YEVTUSHENKO,. On reducing test length for FSMs with extra states. Software testing, verification and reliability, v. 22, n. 6, p. 435-454, 2012Tradução . . Disponível em: https://doi.org/10.1002/stvr.452. Acesso em: 03 maio 2024.
APA
Simão, A. da S., Petrenko, A., & Nina Yevtushenko,. (2012). On reducing test length for FSMs with extra states. Software testing, verification and reliability, 22( 6), 435-454. doi:10.1002/stvr.452
NLM
Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 maio 03 ] Available from: https://doi.org/10.1002/stvr.452
Vancouver
Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 maio 03 ] Available from: https://doi.org/10.1002/stvr.452
Artigo de periodico
Generating asynchronous test cases from test purposes (2011)
Simão, Adenilso da Silva; Petrenko, Alexandre
Source: Information and Software Technology. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating asynchronous test cases from test purposes. Information and Software Technology, v. no 2011, n. 11, p. 1252-1262, 2011Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2011.06.006. Acesso em: 03 maio 2024.
APA
Simão, A. da S., & Petrenko, A. (2011). Generating asynchronous test cases from test purposes. Information and Software Technology, no 2011( 11), 1252-1262. doi:10.1016/j.infsof.2011.06.006
NLM
Simão A da S, Petrenko A. Generating asynchronous test cases from test purposes [Internet]. Information and Software Technology. 2011 ; no 2011( 11): 1252-1262.[citado 2024 maio 03 ] Available from: https://doi.org/10.1016/j.infsof.2011.06.006
Vancouver
Simão A da S, Petrenko A. Generating asynchronous test cases from test purposes [Internet]. Information and Software Technology. 2011 ; no 2011( 11): 1252-1262.[citado 2024 maio 03 ] Available from: https://doi.org/10.1016/j.infsof.2011.06.006
Artigo de periodico
Fault coverage-driven incremental test generation (2010)
Simão, Adenilso da Silva; Petrenko, Alexandre
Source: The Computer Journal Advance Access. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Fault coverage-driven incremental test generation. The Computer Journal Advance Access, v. 53, n. 9, 2010Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxp073. Acesso em: 03 maio 2024.
APA
Simão, A. da S., & Petrenko, A. (2010). Fault coverage-driven incremental test generation. The Computer Journal Advance Access, 53( 9). doi:10.1093/comjnl/bxp073
NLM
Simão A da S, Petrenko A. Fault coverage-driven incremental test generation [Internet]. The Computer Journal Advance Access. 2010 ; 53( 9):[citado 2024 maio 03 ] Available from: https://doi.org/10.1093/comjnl/bxp073
Vancouver
Simão A da S, Petrenko A. Fault coverage-driven incremental test generation [Internet]. The Computer Journal Advance Access. 2010 ; 53( 9):[citado 2024 maio 03 ] Available from: https://doi.org/10.1093/comjnl/bxp073
Artigo de periodico
Checking completeness of tests for finite state machines (2010)
Simão, Adenilso da Silva; Petrenko, Alexandre
Source: IEEE Transactions on Computers. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Checking completeness of tests for finite state machines. IEEE Transactions on Computers, v. 59, n. 8, p. 1023-1032, 2010Tradução . . Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717. Acesso em: 03 maio 2024.
APA
Simão, A. da S., & Petrenko, A. (2010). Checking completeness of tests for finite state machines. IEEE Transactions on Computers, 59( 8), 1023-1032. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
NLM
Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2024 maio 03 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
Vancouver
Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2024 maio 03 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
Monografia/livro-ed/org
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers (2010)
Petrenko, Alexandre (Editor); Simão, Adenilso da Silva (Editor); Maldonado, José Carlos (Editor)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers. . Porto Alegre: SBC. . Acesso em: 03 maio 2024. , 2010
APA
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers. (2010). Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers. Porto Alegre: SBC.
NLM
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers. 2010 ;[citado 2024 maio 03 ]
Vancouver
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers. 2010 ;[citado 2024 maio 03 ]
Monografia/livro-ed/org
Testing software and systems (2010)
Petrenko, Alexandre (Editor); Simão, Adenilso da Silva (Editor); Maldonado, José Carlos (Editor)
Source: Proceedings. Conference titles: IFIP WG 6.1 International Conference - ICTSS. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Testing software and systems. Proceedings. Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-16573-3. Acesso em: 03 maio 2024. , 2010
APA
Testing software and systems. (2010). Testing software and systems. Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16573-3
NLM
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Vancouver
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Trabalho de evento
From test purposes to asynchronous test cases (2010)
Simão, Adenilso da Silva; Petrenko, Alexandre
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification, and Validation Workshops - ICSTW. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. From test purposes to asynchronous test cases. 2010, Anais.. Los Alamitos: IEEE, 2010. Disponível em: https://doi.org/10.1109/ICSTW.2010.32. Acesso em: 03 maio 2024.
APA
Simão, A. da S., & Petrenko, A. (2010). From test purposes to asynchronous test cases. In Proceedings. Los Alamitos: IEEE. doi:10.1109/ICSTW.2010.32
NLM
Simão A da S, Petrenko A. From test purposes to asynchronous test cases [Internet]. Proceedings. 2010 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1109/ICSTW.2010.32
Vancouver
Simão A da S, Petrenko A. From test purposes to asynchronous test cases [Internet]. Proceedings. 2010 ;[citado 2024 maio 03 ] Available from: https://doi.org/10.1109/ICSTW.2010.32
Trabalho de evento-anais periodico
Generating reduced tests for FSMs with extra states (2009)
Simão, Adenilso da Silva; Petrenko, Alexandre; Yevtushenko, Nina
Source: Lecture Notes in Computer Science. Conference titles: International Conference Testing of Software and Communication Systems - TESTCOM. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e YEVTUSHENKO, Nina. Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/97175434p03t6136/. Acesso em: 03 maio 2024. , 2009
APA
Simão, A. da S., Petrenko, A., & Yevtushenko, N. (2009). Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/97175434p03t6136/
NLM
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 maio 03 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Vancouver
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 maio 03 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva; Petrenko, Alexandre
Source: Lecture Notes in Computer Science. Conference titles: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0. Acesso em: 03 maio 2024. , 2008
APA
Simão, A. da S., & Petrenko, A. (2008). Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
NLM
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 maio 03 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Vancouver
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 maio 03 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Trabalho de evento
Experimental evaluation of coverage criteria for FSM-based testing (2007)
Simão, Adenilso da Silva; Petrenko, Alexandre; Maldonado, José Carlos
Source: Anais. Conference titles: Simpósio Brasileiro de Engenharia de Software. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e MALDONADO, José Carlos. Experimental evaluation of coverage criteria for FSM-based testing. 2007, Anais.. [s.l.: s.n.], 2007. . Acesso em: 03 maio 2024.
APA
Simão, A. da S., Petrenko, A., & Maldonado, J. C. (2007). Experimental evaluation of coverage criteria for FSM-based testing. In Anais. [s.l.: s.n.].
NLM
Simão A da S, Petrenko A, Maldonado JC. Experimental evaluation of coverage criteria for FSM-based testing. Anais. 2007 ;[citado 2024 maio 03 ]
Vancouver
Simão A da S, Petrenko A, Maldonado JC. Experimental evaluation of coverage criteria for FSM-based testing. Anais. 2007 ;[citado 2024 maio 03 ]

USP Schools

ReP

Filtros

Authors

Date published

Source title

Publisher

Conference titles

Countries/Territories

Indexado em

Non normalized affiliation